Fuzzy Equational Logic
نویسندگان
چکیده
Presented is a completeness theorem for fuzzy equational logic with truth values in a complete residuated lattice: Given a fuzzy set Σ of identities and an identity p ≈ q, the degree to which p ≈ q syntactically follows (is provable) from Σ equals the degree to which p ≈ q semantically follows from Σ. Pavelka style generalization of well-known Birkhoff’s theorem is therefore established.
منابع مشابه
EQ-logics with delta connective
In this paper we continue development of formal theory of a special class offuzzy logics, called EQ-logics. Unlike fuzzy logics being extensions of theMTL-logic in which the basic connective is implication, the basic connective inEQ-logics is equivalence. Therefore, a new algebra of truth values calledEQ-algebra was developed. This is a lower semilattice with top element endowed with two binary...
متن کاملFUZZY EQUATIONAL CLASSES ARE FUZZY VARIETIES
In the framework of fuzzy algebras with fuzzy equalities and acomplete lattice as a structure of membership values, we investigate fuzzyequational classes. They consist of special fuzzy algebras fullling the samefuzzy identities, dened with respect to fuzzy equalities. We introduce basicnotions and the corresponding operators of universal algebra: construction offuzzy subalgebras, homomorphisms...
متن کاملAlgebras with fuzzy equalities
In our previous study, we were interested in the equational fragment of first-order fuzzy logic [2, 3]. It turned out that the models of the equational fragment (which we call algebras with fuzzy equalities) are interesting and natural structures by themselves. The present paper provides an introductory study to the structures of equational fragment of fuzzy logic. The paper is an excerpt from ...
متن کاملDirect Limits and Reduced Products of Algebras with Fuzzy Equalities
We study direct limits and reduced products of algebras with fuzzy equalities. On the one hand, algebras with fuzzy equalities are natural fuzzy structures that disallow to map similar arguments to dissimilar ones. On the other hand, they are exactly the semantic structures of the equational fragment of first-order fuzzy logic. In this paper we propose generalizations of direct limits and reduc...
متن کاملFuzzy Horn logic I
The paper presents generalizations of results on so-called Horn logic, well-known in universal algebra, to the setting of fuzzy logic. The theories we consider consist of formulas which are implications between identities (equations) with premises weighted by truth degrees. We adopt Pavelka style: theories are fuzzy sets of formulas and we consider degrees of provability of formulas from theori...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Arch. Math. Log.
دوره 41 شماره
صفحات -
تاریخ انتشار 2002